addition of residue classes